Static Typing

定义（Definition）

静态类型（static typing）：一种编程语言的类型系统特性，变量/表达式的类型在编译期（运行前）就被确定并检查。这通常能更早发现错误、提升可维护性与工具支持（如自动补全、重构），但也可能带来更多类型标注或类型设计成本。（也存在“静态类型 + 类型推断”等做法来减少显式标注。）

发音（Pronunciation, IPA）

/ˈstætɪk ˈtaɪpɪŋ/

例句（Examples）

Static typing helps catch many bugs before the program runs.
静态类型能在程序运行前捕获许多错误。

In large codebases, static typing—combined with good tooling—can make refactoring safer by ensuring that function calls and data structures remain consistent across modules.
在大型代码库中，静态类型与良好工具配合使用，可以让重构更安全，因为它能确保跨模块的函数调用和数据结构保持一致。

词源（Etymology）

static 源自希腊语 statikos（“使其站立、静止的”），在计算机语境里常引申为“在运行前就确定的”。typing 来自 type（“类型”）在语言设计中的用法。合起来 static typing 就是“类型在运行前（编译时）确定/检查”的意思。

相关词（Related Words）

• Dynamic Typing
• Type Inference
• Type Checking
• Strong Typing
• Type System
• Compile Time
• Runtime
• Type Safety

文学与名著用例（Literary Works）

• Types and Programming Languages（Benjamin C. Pierce）——类型系统经典教材，讨论静态类型与类型检查等核心概念。
• Programming Language Pragmatics（Michael L. Scott）——涵盖静态/动态类型、类型推断与语言实现的对比。
• Practical Foundations for Programming Languages（Robert Harper）——以形式化方式系统讲解静态类型与语言语义。
• The Rust Programming Language（Steve Klabnik & Carol Nichols）——在介绍 Rust 时频繁涉及静态类型、类型推断与编译期检查。